Resolution proof tree
[計] 分解證明樹
?? 詞語組成解析
proof
[pruf]
n. 證明;校樣;檢驗;（酒的）標準酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 給（織物）做防護處理，使防水（或防火等）;印…的校樣;
vi. [印刷術] 校對;發酵;
prob, prov Prob, prov= test, 表示”測試,證明, 檢驗”
tree
[tri]
n. 樹;木料;樹狀圖;宗譜;
vt. 把…趕上樹;使處于困境;把鞋型插入（鞋內）;
??? 情景例句
so that each one would be a part of it.
好讓每個人都成為它的一部分。
Ann prefers cold weather to hot weather.
安喜歡寒冷天氣，不太喜歡炎熱天氣。
It threatened to surround him completely, but Tazieff managed to escape just in time.
眼看就要將他團團圍住，但塔捷耶夫還是設法及時逃離了。